xMOF: A Semantics Specification Language for Metamodeling
نویسندگان
چکیده
While MOF constitutes a standardized and widely accepted language for formally defining a modeling language’s abstract syntax, no standardized language for specifying its behavioral semantics exists. This impedes the efficient development of tools which build upon the behavioral semantics of modeling languages, such as model interpreters, debuggers, and testing environments. To address this shortcoming, we propose to adopt the standardized action language fUML as semantics specification language in metamodeling. In this paper we present tool support integrated with the EMF environment for specifying the behavioral semantics of modeling languages with fUML as well as for executing models based on these specifications. A teaser for the demonstration of this tool support can be found at http://www.youtube.com/watch?v= p4alBfqbjk8.
منابع مشابه
xMOF: Executable DSMLs Based on fUML
The basic ingredients of a domain-specific modeling language (DSML) are its syntax and semantics. For defining the abstract syntax in terms of metamodels, MOF constitutes a standardized language. For specifying the behavioral semantics, however, no standardized language exists, which hampers the emergence of model execution facilities, such as debugging and simulation support. The contribution ...
متن کاملUsing fUML as Semantics Specification Language in Model Driven Engineering
In model-driven engineering (MDE), software is developed based on models which hence constitute the central artifacts in the software development process. Consequently, tools supporting MDE, such as model editors, interpreters, and debuggers are crucial in MDE. For developing such tools efficiently, modeling languages have to be defined formally. While for formally defining a modeling language’...
متن کاملA Metamodeling Approach to Pattern Specification and Detection
This report presents the Pattern Modeling Framework (PMF), a new metamodeling approach to pattern specification and detection for MOFcompliant modeling frameworks and languages. Patterns need to be precisely specified before a tool can manipulate them, and though several approaches to pattern specification have been proposed, they do not provide the scalability and flexibility required in pract...
متن کاملVPM: Mathematics of Metamodeling is Metamodeling Mathematics
As UML 2.0 is evolving into a family of languages with individually specified semantics, there is an increasing need for automated and provenly correct model transformations that (i) assure the integration of local views (different diagrams) of the system into a consistent global view, and, (ii) provide a well–founded mapping from UML models to different semantic domains (Petri nets, Kripke aut...
متن کاملTowards Symbolic Analysis of Graph Transformation Systems
Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture the operational semantics of modeling languages based on metamodeling techniques as demonstrated, by benchmark applications focusing on the formal treatment of the Unified Modeling Language (UML). In the paper, we propose a model checking-based verification a...
متن کامل